智能立体停车场控制探讨

智能立体停车场具有广阔的应用前景。介绍了智能立体停车场的组成及主要功能,给出了智能立体停车场的设计与实现方案。     

罗素论归纳问题

归纳问题是罗素哲学中一个十分重要的问题。罗素对归纳问题的合理性的逻辑解决方案分前后两个时期。前期即“归纳法原则”,后期即非证明推理的“科学推理的公设”学说。尽管罗素没有解决归纳问题,其学说在哲学上却有重要影响。罗素提出的归纳问题合理性在逻辑学范围提供根据是不可能的观点,对最终从其他角度去解决归纳问题,无疑是一大不可磨灭的贡献。     

A protocol for fair electronic purchase based on concurrent signatures

E-commerce protocols for the electronic purchase of goods are difficult to design and implement due to their complexity and high security demands. Fairness of such protocols in literature highly depends on an additional TTP（trusted third party）. However, it is difficult to find such a TTP in some situations. In addition, fairness for customers has been neither fully considered nor well satisfied in existing electronic purchasing protocols. In this paper, a new protocol FEP （fair electronic purchase） without a special TTP but an online bank is presented based on a concurrent digital signature scheme. The FEP protocol guarantees fair electronic purchase of goods via electronic payment between consumers, merchants and their online banks. The protocol is practical and the analysis based on the game logics shows that it achieves the properties of viability, fairness, and timeliness.     

Nanoscale all-optical devices based on surface plasmon polaritons

Surface plasmon polariton, a kind of surface electromagnetic wave propagating along the interface between metals and dielectrics, provides an excellent platform for the realization of integrated photonic devices due to its unique properties of confining light into subwavelength scales. Our recent research progresses of nanoscale integrated photonic devices based on surface plasmon polaritons, including all-optical switches, all-optical logic discriminator, and all-optical routers, are introduced in detail.     

安全学演绎逻辑体系的构造

清晰严谨的原理体系是安全科学立足的根本,基于这一认识,梳理安全学的9个核心概念,提出安全学的5条公理和5条定律,采用推理演绎的方法研究不同事故致因理论之间的逻辑关系,得出30条推论,在此基础上构造了安全学原理系统.结果表明:安全学演绎逻辑体系有利于引导学科理论从宽泛走向严谨.     

A choice-semantical approach to theoretical truth

A central topic in the logic of science concerns the proper semantic analysis of theoretical sentences, that is sentences containing theoretical terms. In this paper, we present a novel choice-semantical account of theoretical truth based on the epsilon-term definition of theoretical terms. Specifically, we develop two ways of specifying the truth conditions of theoretical statements in a choice functional semantics, each giving rise to a corresponding logic of such statements. In order to investigate the inferential strength of these logical systems, we provide a translation of each truth definition into a modal definition of theoretical truth. Based on this, we show that the stronger notion of choice-semantical truth captures more adequately our informal semantic understanding of scientific statements.     

IMTL逻辑代数的一种新强化形式

对IMTL-代数及其相关逻辑代数进行了进一步的研究，通过加强IMTL-代数条件的方法建立了IMTL＊-代数，并通过实例证明了IMTL＊-代数结构的存在性；其次，构造了一个非IMTL＊-代数的IMTL-代数，说明了IMTL＊-代数是IMTL-代数的真的强化形式，并基于IMTL-代数给出了IMTL＊-代数的一些等价刻画；最后，给出了IMTL＊-代数的蕴涵表示形式。本文的结果是对逻辑代数的研究内容和方法的有益补充。     

Reduction and Simplification of Explicit LTL Model Checking via an Abstraction Method

An abstraction method developed for the explicit linear temporal logic model checking was geared towards reducing the useless part of the state space during the abstraction period.This reduces the cost during the abstraction period relative to models requiring many useless states.A dining-philosophers example comparing this abstraction method with conventional methods indicates that a large proportion of the state space has been reduced by this abstraction method.Finally,the abstract method is shown to be correct and an analysis is given to show how such a large proportion of states can be reduced.     

包含巴肯公式的认知谓词逻辑系统

文中将认知逻辑的分析方法由命题推广至谓记号，函数、个体变元和常元，构造了一个包含巴肯公式的认知谓词逻辑系统。     

串口控制管理器在网络设备管理中的应用

介绍利用串口控制管理器（CCM）更加有效地实现了对网络实验室中众多网络设备的管理。网络实验室中的一部分网络设备用于局域网构建,而另一部分用于实验。通过在局域网中加入CCM,可以使互联设备、实验设备和学生机有效分离,实现分组独立实验、独立管理的需求。又可以通过CCM的互联,形成统一的实验室网络环境,以便使用管理软件对所有设备进行统一管理。